Walk Backwards to Happiness|debugging by Time Travel Walk Backwards to Happiness|debugging by Time Travel
نویسندگان
چکیده
In circumstances when a variable in a program has an incorrect value the process of debugging it is often a process about discovering the history of that variable, or rather the ancestry of the value that it contains. In this paper we propose a new technique for debugging that revolves around being able to trace back through the history of a particular variable or variables that it depends upon. Our development is in the domain of functional programming as the proposal has particular signi cance in this domain due to the fact that so many standard debugging techniques cannot be used at all. This paper was presented at the 3rd International Workshop on Automated Debugging (AADEBUG'97), hosted by the Department of Computer and Information Science, Linkoping University, Sweden, 26{27 May 1997. i
منابع مشابه
Walk Backwards to Happiness - Debugging by Time Travel
In circumstances when a variable in a program has an incorrect value the process of debugging it is often a process about discovering the history of that variable, or rather the ancestry of the value that it contains. In this paper we propose a new technique for debugging that revolves around being able to trace back through the history of a particular variable or variables that it depends upon...
متن کاملA Random Walk with Exponential Travel Times
Consider the random walk among N places with N(N - 1)/2 transports. We attach an exponential random variable Xij to each transport between places Pi and Pj and take these random variables mutually independent. If transports are possible or impossible independently with probability p and 1-p, respectively, then we give a lower bound for the distribution function of the smallest path at point log...
متن کاملInsect Navigation: What Backward Walking Reveals about the Control of Movement
Ants often walk backwards to drag large prey to their nest. New experiments show how they can use information from retinotopically encoded views to follow visual routes even while moving backwards. The mechanisms enabling ants to decouple body orientation and the control of travel direction are likely to be shared with other, flying, insects.
متن کاملDebugging operating systems with time-traveling virtual machines
Operating systems are among the most difficult of software systems to debug with traditional cyclic debugging. They are non-deterministic; they run for long periods of time; their state and code is large and complex; and their state is easily perturbed by the act of debugging. This paper describes a time-traveling virtual machine that overcomes many of the difficulties associated with debugging...
متن کاملDebugging Backwards in Time
By recording every state change in the run of a program, it is possible to present the programmer every bit of information that might be desired. Essentially, it becomes possible to debug the program by going “backwards in time,” vastly simplifying the process of debugging. An implementation of this idea, the “Omniscient Debugger,” is used to demonstrate its viability and has been used successf...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997